(0 17 15)(1 19 3)(2 9 7)(4 20 12)(5 16 6)(8 14 10)(11 18 13)
ALLOWS (11/8)-SEQUENCE
1: (4 6 12)

(0 17 15)(1 19 3)(2 9 7)(4)(5 16 6 20 12)(8 14 10)(11 18 13)
2: (5 16 6)

(0 17 15)(1 19 3)(2 9 7)(4)(5 20 12)(6)(8 14 10)(11 18 13)(16)
3: (11 18 13)

(0 17 15)(1 19 3)(2 9 7)(4)(5 20 12)(6)(8 14 10)(11)(13)(16)(18)
4: (0 17 15)

(0)(1 19 3)(2 9 7)(4)(5 20 12)(6)(8 14 10)(11)(13)(15)(16)(17)(18)